Search results for "metric measure spaces"
showing 9 items of 9 documents
Tensorization of quasi-Hilbertian Sobolev spaces
2022
The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space $X\times Y$ can be determined from its factors. We show that two natural descriptions of the Sobolev space from the literature coincide, $W^{1,2}(X\times Y)=J^{1,2}(X,Y)$, thus settling the tensorization problem for Sobolev spaces in the case $p=2$, when $X$ and $Y$ are infinitesimally quasi-Hilbertian, i.e. the Sobolev space $W^{1,2}$ admits an equivalent renorming by a Dirichlet form. This class includes in particular metric measure spaces $X,Y$ of finite Hausdorff dimension as well as infinitesimally Hilbertian spaces. More generally for $p\in (1,\infty)$ we…
Failure of topological rigidity results for the measure contraction property
2014
We give two examples of metric measure spaces satisfying the measure contraction property MCP(K,N) but having different topological dimensions at different regions of the space. The first one satisfies MCP(0,3) and contains a subset isometric to $\mathbb{R}$, but does not topologically split. The second space satisfies MCP(2,3) and has diameter $\pi$, which is the maximal possible diameter for a space satisfying MCP(N-1,N), but is not a topological spherical suspension. The latter example gives an answer to a question by Ohta.
Nonexistence of Quasiconformal Maps Between Certain Metric Measure Spaces
2013
We provide new conditions that ensure that two metric measure spaces are not quasiconformally equivalent. As an application, we deduce that there exists no quasiconformal map between the sub-Riemannian Heisenberg and roto-translation groups.
Equivalent definitions of very strict $CD(K,N)$ -spaces
2023
We show the equivalence of the definitions of very strict $CD(K,N)$ -condition defined, on one hand, using (only) the entropy functionals, and on the other, the full displacement convexity class $\mathcal{DC}_N$. In particular, we show that assuming the convexity inequalities for the critical exponent implies it for all the greater exponents. We also establish the existence of optimal transport maps in very strict $CD(K,N)$ -spaces with finite $N$.
On one-dimensionality of metric measure spaces
2019
In this paper, we prove that a metric measure space which has at least one open set isometric to an interval, and for which the (possibly non-unique) optimal transport map exists from any absolutely continuous measure to an arbitrary measure, is a one-dimensional manifold (possibly with boundary). As an immediate corollary we obtain that if a metric measure space is a very strict $CD(K,N)$ -space or an essentially non-branching $MCP(K,N)$-space with some open set isometric to an interval, then it is a one-dimensional manifold. We also obtain the same conclusion for a metric measure space which has a point in which the Gromov-Hausdorff tangent is unique and isometric to the real line, and fo…
Differential of metric valued Sobolev maps
2020
We introduce a notion of differential of a Sobolev map between metric spaces. The differential is given in the framework of tangent and cotangent modules of metric measure spaces, developed by the first author. We prove that our notion is consistent with Kirchheim's metric differential when the source is a Euclidean space, and with the abstract differential provided by the first author when the target is $\mathbb{R}$.
Mappings of finite distortion between metric measure spaces
2015
We establish the basic analytic properties of mappings of finite distortion between proper Ahlfors regular metric measure spaces that support a ( 1 , 1 ) (1,1) -Poincaré inequality. As applications, we prove that under certain integrability assumption for the distortion function, the branch set of a mapping of finite distortion between generalized n n -manifolds of type A A has zero Hausdorff n n -measure.
Existence of optimal transport maps in very strict CD(K,∞) -spaces
2018
We introduce a more restrictive version of the strict CD(K,∞) -condition, the so-called very strict CD(K,∞) -condition, and show the existence of optimal maps in very strict CD(K,∞) -spaces despite the possible lack of uniqueness of optimal plans. peerReviewed
Non-branching geodesics and optimal maps in strong CD(K,∞) -spaces
2014
We prove that in metric measure spaces where the entropy functional is Kconvex along every Wasserstein geodesic any optimal transport between two absolutely continuous measures with finite second moments lives on a non-branching set of geodesics. As a corollary we obtain that in these spaces there exists only one optimal transport plan between any two absolutely continuous measures with finite second moments and this plan is given by a map. The results are applicable in metric measure spaces having Riemannian Ricci curvature bounded below, and in particular they hold also for Gromov-Hausdorff limits of Riemannian manifolds with Ricci curvature bounded from below by some constant. peerReview…